Sfoglia per ???browse.type.metadata.subjectIsicrui??? Ingegneria Matematica
Verification of imperative programs through transformation of constraint logic programs
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Verifying programs via iterated specialization
2013-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Vertex Partitioning of Crown-Free Interval Graphs
1999-01-01 Confessore, G; Dell'Olmo, P; Giordani, S
Vertex Partitioning of Crown-Free Interval Graphs
1999-01-01 Confessore, G; Dell'Olmo, P; Giordani, S
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2013 | Verification of imperative programs through transformation of constraint logic programs | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2013 | Verifying programs via iterated specialization | De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-1999 | Vertex Partitioning of Crown-Free Interval Graphs | Confessore, G; Dell'Olmo, P; Giordani, S | Articolo su rivista | |
1-gen-1999 | Vertex Partitioning of Crown-Free Interval Graphs | Confessore, G; Dell'Olmo, P; Giordani, S | Intervento a convegno |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile